<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Test status | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/processes/">
              <span property="name"><b>Processes</b></span>
            </a>
            <meta property="position" content="2" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">Test status</span>
            <meta property="position" content="3" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">






      <ul class="nav nav-sidebar">
  
        <li class="">
          <a class="" href="/processes/conduct.html">
            Code of Conduct
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/contributing.html">
            Contributing
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/licenses.html">
            Licensing
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/style-guide.html">
            Style Guide
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/git-conventions.html">
            Git Conventions
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/code-review.html">
            Pull requests
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/release-process.html">
            Release process
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/rfc-process.html">
            RFC process
          </a>
        </li>
  
        <li class="active">
          <a class="" href="/processes/test-status.html">
            Test Status
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/websites.html">
            Websites
          </a>
        </li>
  
        <li class="">
          <a class="" href="/processes/emails.html">
            Emails
          </a>
        </li>
  
        <li class="">
          <a class="" href="/MaintainedRepositories.html">
            Maintained Repositories
          </a>
        </li>
  
      </ul>











</div>

  </div>
  <div class="col-sm-8 col-md-9 col-lg-8 main">
    
    <div class="content">
      <!-- Do not edit. This file is generated by seL4/ci-actions/dashboard/gen-dashboard.py -->

<h1 id="sel4-test-status">seL4 Test Status</h1>

<p>The following list shows the current status of all seL4 GitHub test workflows
on the main branch.</p>

<h2 id="main-tests">Main Tests</h2>

<p><span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml/badge.svg?branch=master" alt="seL4Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml/badge.svg" alt="Proofs" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml/badge.svg?branch=master" alt="Proof Sync" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml/badge.svg?branch=master" alt="seL4Bench" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml/badge.svg?branch=master" alt="CAmkES" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml/badge.svg?branch=master" alt="CAmkES VM" /></a></span></p>

<hr />

<h2 id="main-repositories">Main repositories</h2>

<h3 id="sel4"><span class="plain-links"><a href="https://github.com/seL4/seL4/">seL4</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml/badge.svg?branch=master" alt="Compile" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/cparser.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/cparser.yml/badge.svg?branch=master" alt="C Parser" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/manual.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/manual.yml/badge.svg?branch=master" alt="RefMan" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml/badge.svg?branch=master" alt="Proof Sync" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml/badge.svg?branch=master" alt="seL4Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/xml_lint.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/xml_lint.yml/badge.svg?branch=master" alt="XML" /></a></span></p>

<h3 id="l4v"><span class="plain-links"><a href="https://github.com/seL4/l4v/">l4v</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/external.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/external.yml/badge.svg?branch=master" alt="External" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/weekly-clean.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/weekly-clean.yml/badge.svg?branch=master" alt="Weekly Clean" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml/badge.svg?branch=master" alt="Proofs" /></a></span></p>

<h3 id="sel4bench"><span class="plain-links"><a href="https://github.com/seL4/sel4bench/">sel4bench</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4bench/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4bench/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml/badge.svg?branch=master" alt="seL4Bench" /></a></span></p>

<h3 id="camkes-tool"><span class="plain-links"><a href="https://github.com/seL4/camkes-tool/">camkes-tool</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml/badge.svg?branch=master" alt="CAmkES" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/unit.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/unit.yml/badge.svg?branch=master" alt="Unit" /></a></span></p>

<h3 id="camkes-vm-examples"><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples/">camkes-vm-examples</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml/badge.svg?branch=master" alt="Deploy" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-examples/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="capdl"><span class="plain-links"><a href="https://github.com/seL4/capdl/">capdl</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/capdl/actions/workflows/build.yml?query=branch%3Amaster"><img src="https://github.com/seL4/capdl/actions/workflows/build.yml/badge.svg?branch=master" alt="Build" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/capdl/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/capdl/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/capdl/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/capdl/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="sel4-tutorials"><span class="plain-links"><a href="https://github.com/seL4/sel4-tutorials/">sel4-tutorials</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4-tutorials/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4-tutorials/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4-tutorials/actions/workflows/test.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4-tutorials/actions/workflows/test.yml/badge.svg?branch=master" alt="Test" /></a></span></p>

<h3 id="microkit"><span class="plain-links"><a href="https://github.com/seL4/microkit/">microkit</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/microkit/actions/workflows/push.yml?query=branch%3Amain"><img src="https://github.com/seL4/microkit/actions/workflows/push.yml/badge.svg?branch=main" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/microkit/actions/workflows/sdk.yaml?query=branch%3Amain"><img src="https://github.com/seL4/microkit/actions/workflows/sdk.yaml/badge.svg?branch=main" alt="SDK" /></a></span></p>

<h3 id="rust-sel4"><span class="plain-links"><a href="https://github.com/seL4/rust-sel4/">rust-sel4</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/rust-sel4/actions/workflows/push.yaml?query=branch%3Amain"><img src="https://github.com/seL4/rust-sel4/actions/workflows/push.yaml/badge.svg?branch=main" alt="CI" /></a></span></p>

<hr />

<h2 id="all-repositories">All repositories</h2>

<h3 id="cakeml_libs"><span class="plain-links"><a href="https://github.com/seL4/cakeml_libs/">cakeml_libs</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/cakeml_libs/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/cakeml_libs/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/cakeml_libs/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/cakeml_libs/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="camkes"><span class="plain-links"><a href="https://github.com/seL4/camkes/">camkes</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="camkes-manifest"><span class="plain-links"><a href="https://github.com/seL4/camkes-manifest/">camkes-manifest</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-manifest/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-manifest/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="camkes-tool-1"><span class="plain-links"><a href="https://github.com/seL4/camkes-tool/">camkes-tool</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/camkes-deploy.yml/badge.svg?branch=master" alt="CAmkES" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-tool/actions/workflows/unit.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-tool/actions/workflows/unit.yml/badge.svg?branch=master" alt="Unit" /></a></span></p>

<h3 id="camkes-vm"><span class="plain-links"><a href="https://github.com/seL4/camkes-vm/">camkes-vm</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-vm/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-vm/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="camkes-vm-examples-1"><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples/">camkes-vm-examples</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-examples/actions/workflows/camkes-vm-deploy.yml/badge.svg?branch=master" alt="Deploy" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-examples/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="camkes-vm-examples-manifest"><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples-manifest/">camkes-vm-examples-manifest</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-examples-manifest/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-examples-manifest/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="camkes-vm-images"><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-images/">camkes-vm-images</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-images/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-images/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-vm-images/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-images/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="camkes-vm-linux"><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-linux/">camkes-vm-linux</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/camkes-vm-linux/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-linux/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/camkes-vm-linux/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/camkes-vm-linux/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="capdl-1"><span class="plain-links"><a href="https://github.com/seL4/capdl/">capdl</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/capdl/actions/workflows/build.yml?query=branch%3Amaster"><img src="https://github.com/seL4/capdl/actions/workflows/build.yml/badge.svg?branch=master" alt="Build" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/capdl/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/capdl/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/capdl/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/capdl/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="ci-actions"><span class="plain-links"><a href="https://github.com/seL4/ci-actions/">ci-actions</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-test.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-test.yml/badge.svg?branch=master" alt="Deploy CAmkES Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-unit.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-unit.yml/badge.svg?branch=master" alt="Deploy CAmkES Unit" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-vm.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-camkes-vm.yml/badge.svg?branch=master" alt="Deploy CAmkES VM" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-cparser-builder.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-cparser-builder.yml/badge.svg?branch=master" alt="Deploy CParser Builder" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-cparser-run.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-cparser-run.yml/badge.svg?branch=master" alt="Deploy CParser Run" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-link-check.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-link-check.yml/badge.svg?branch=master" alt="Deploy Link Check" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-preprocess.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-preprocess.yml/badge.svg?branch=master" alt="Deploy Preprocess Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-rumprun.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-rumprun.yml/badge.svg?branch=master" alt="Deploy RumpRun" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-run-proofs.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-run-proofs.yml/badge.svg?branch=master" alt="Deploy Proof Run" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4bench.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4bench.yml/badge.svg?branch=master" alt="Deploy seL4 Bench" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4test-hw.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4test-hw.yml/badge.svg?branch=master" alt="Deploy seL4 HW" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4test-sim.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-sel4test-sim.yml/badge.svg?branch=master" alt="Deploy seL4 Sim" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-tutorials.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-tutorials.yml/badge.svg?branch=master" alt="Deploy Tutorial Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/deploy-webserver.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/deploy-webserver.yml/badge.svg?branch=master" alt="Deploy webserver image" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/isabelle-mirror.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/isabelle-mirror.yml/badge.svg?branch=master" alt="Isabelle Mirror" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/ci-actions/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/ci-actions/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="docs"><span class="plain-links"><a href="https://github.com/seL4/docs/">docs</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/docs/actions/workflows/build.yml?query=branch%3Amaster"><img src="https://github.com/seL4/docs/actions/workflows/build.yml/badge.svg?branch=master" alt="Build" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/docs/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/docs/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="global-components"><span class="plain-links"><a href="https://github.com/seL4/global-components/">global-components</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/global-components/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/global-components/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/global-components/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/global-components/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="graph-refine"><span class="plain-links"><a href="https://github.com/seL4/graph-refine/">graph-refine</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/graph-refine/actions/workflows/binary-decompilation.yml?query=branch%3Amaster"><img src="https://github.com/seL4/graph-refine/actions/workflows/binary-decompilation.yml/badge.svg?branch=master" alt="Binary decompilation" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/graph-refine/actions/workflows/build.yml?query=branch%3Amaster"><img src="https://github.com/seL4/graph-refine/actions/workflows/build.yml/badge.svg?branch=master" alt="Build" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/graph-refine/actions/workflows/docker-build.yml?query=branch%3Amaster"><img src="https://github.com/seL4/graph-refine/actions/workflows/docker-build.yml/badge.svg?branch=master" alt="Build" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/graph-refine/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/graph-refine/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/graph-refine/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/graph-refine/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="l4v-1"><span class="plain-links"><a href="https://github.com/seL4/l4v/">l4v</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/external.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/external.yml/badge.svg?branch=master" alt="External" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/weekly-clean.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/weekly-clean.yml/badge.svg?branch=master" alt="Weekly Clean" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml/badge.svg?branch=master" alt="Proofs" /></a></span></p>

<h3 id="mcs-examples"><span class="plain-links"><a href="https://github.com/seL4/mcs-examples/">mcs-examples</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/mcs-examples/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/mcs-examples/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="microkit-1"><span class="plain-links"><a href="https://github.com/seL4/microkit/">microkit</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/microkit/actions/workflows/push.yml?query=branch%3Amain"><img src="https://github.com/seL4/microkit/actions/workflows/push.yml/badge.svg?branch=main" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/microkit/actions/workflows/sdk.yaml?query=branch%3Amain"><img src="https://github.com/seL4/microkit/actions/workflows/sdk.yaml/badge.svg?branch=main" alt="SDK" /></a></span></p>

<h3 id="projects_libs"><span class="plain-links"><a href="https://github.com/seL4/projects_libs/">projects_libs</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/projects_libs/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/projects_libs/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/projects_libs/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/projects_libs/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="pruner"><span class="plain-links"><a href="https://github.com/seL4/pruner/">pruner</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/pruner/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/pruner/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/pruner/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/pruner/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="refos"><span class="plain-links"><a href="https://github.com/seL4/refos/">refos</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/refos/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/refos/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="rumprun-sel4-demoapps"><span class="plain-links"><a href="https://github.com/seL4/rumprun-sel4-demoapps/">rumprun-sel4-demoapps</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/rump-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/rump-deploy.yml/badge.svg?branch=master" alt="Hello World" /></a></span></p>

<h3 id="rust-microkit-demo"><span class="plain-links"><a href="https://github.com/seL4/rust-microkit-demo/">rust-microkit-demo</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/rust-microkit-demo/actions/workflows/push.yaml?query=branch%3Amain"><img src="https://github.com/seL4/rust-microkit-demo/actions/workflows/push.yaml/badge.svg?branch=main" alt="CI" /></a></span></p>

<h3 id="rust-microkit-http-server-demo"><span class="plain-links"><a href="https://github.com/seL4/rust-microkit-http-server-demo/">rust-microkit-http-server-demo</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/rust-microkit-http-server-demo/actions/workflows/push.yaml?query=branch%3Amain"><img src="https://github.com/seL4/rust-microkit-http-server-demo/actions/workflows/push.yaml/badge.svg?branch=main" alt="CI" /></a></span></p>

<h3 id="rust-root-task-demo"><span class="plain-links"><a href="https://github.com/seL4/rust-root-task-demo/">rust-root-task-demo</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/rust-root-task-demo/actions/workflows/push.yaml?query=branch%3Amain"><img src="https://github.com/seL4/rust-root-task-demo/actions/workflows/push.yaml/badge.svg?branch=main" alt="CI" /></a></span></p>

<h3 id="rust-sel4-1"><span class="plain-links"><a href="https://github.com/seL4/rust-sel4/">rust-sel4</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/rust-sel4/actions/workflows/push.yaml?query=branch%3Amain"><img src="https://github.com/seL4/rust-sel4/actions/workflows/push.yaml/badge.svg?branch=main" alt="CI" /></a></span></p>

<h3 id="sel4-1"><span class="plain-links"><a href="https://github.com/seL4/seL4/">seL4</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml/badge.svg?branch=master" alt="Compile" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/cparser.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/cparser.yml/badge.svg?branch=master" alt="C Parser" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/manual.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/manual.yml/badge.svg?branch=master" alt="RefMan" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml/badge.svg?branch=master" alt="Proof Sync" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml/badge.svg?branch=master" alt="seL4Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4/actions/workflows/xml_lint.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4/actions/workflows/xml_lint.yml/badge.svg?branch=master" alt="XML" /></a></span></p>

<h3 id="sel4-camkes-l4v-dockerfiles"><span class="plain-links"><a href="https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/">seL4-CAmkES-L4v-dockerfiles</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/actions/workflows/docker-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/actions/workflows/docker-deploy.yml/badge.svg?branch=master" alt="Deploy" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="sel4_libs"><span class="plain-links"><a href="https://github.com/seL4/seL4_libs/">seL4_libs</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/seL4_libs/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_libs/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4_libs/actions/workflows/sel4test-sim.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_libs/actions/workflows/sel4test-sim.yml/badge.svg?branch=master" alt="seL4Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4_libs/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_libs/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="sel4_projects_libs"><span class="plain-links"><a href="https://github.com/seL4/seL4_projects_libs/">seL4_projects_libs</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/seL4_projects_libs/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_projects_libs/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4_projects_libs/actions/workflows/sel4test-sim.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_projects_libs/actions/workflows/sel4test-sim.yml/badge.svg?branch=master" alt="seL4Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4_projects_libs/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_projects_libs/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="sel4_tools"><span class="plain-links"><a href="https://github.com/seL4/seL4_tools/">seL4_tools</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/seL4_tools/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_tools/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4_tools/actions/workflows/sel4test-sim.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_tools/actions/workflows/sel4test-sim.yml/badge.svg?branch=master" alt="seL4Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/seL4_tools/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/seL4_tools/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="sel4-tutorials-1"><span class="plain-links"><a href="https://github.com/seL4/sel4-tutorials/">sel4-tutorials</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4-tutorials/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4-tutorials/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4-tutorials/actions/workflows/test.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4-tutorials/actions/workflows/test.yml/badge.svg?branch=master" alt="Test" /></a></span></p>

<h3 id="sel4-tutorials-manifest"><span class="plain-links"><a href="https://github.com/seL4/sel4-tutorials-manifest/">sel4-tutorials-manifest</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4-tutorials-manifest/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4-tutorials-manifest/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="sel4bench-1"><span class="plain-links"><a href="https://github.com/seL4/sel4bench/">sel4bench</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4bench/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4bench/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4bench/actions/workflows/sel4bench.yml/badge.svg?branch=master" alt="seL4Bench" /></a></span></p>

<h3 id="sel4bench-manifest"><span class="plain-links"><a href="https://github.com/seL4/sel4bench-manifest/">sel4bench-manifest</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4bench-manifest/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4bench-manifest/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="sel4runtime"><span class="plain-links"><a href="https://github.com/seL4/sel4runtime/">sel4runtime</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4runtime/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4runtime/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4runtime/actions/workflows/sel4test-sim.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4runtime/actions/workflows/sel4test-sim.yml/badge.svg?branch=master" alt="seL4Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4runtime/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4runtime/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="sel4test"><span class="plain-links"><a href="https://github.com/seL4/sel4test/">sel4test</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4test/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4test/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4test/actions/workflows/sel4test-sim.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4test/actions/workflows/sel4test-sim.yml/badge.svg?branch=master" alt="seL4Test" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4test/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4test/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="sel4test-manifest"><span class="plain-links"><a href="https://github.com/seL4/sel4test-manifest/">sel4test-manifest</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4test-manifest/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4test-manifest/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4test-manifest/actions/workflows/sel4test-sim.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4test-manifest/actions/workflows/sel4test-sim.yml/badge.svg?branch=master" alt="seL4Test" /></a></span></p>

<h3 id="sel4webserver"><span class="plain-links"><a href="https://github.com/seL4/sel4webserver/">sel4webserver</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4webserver/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4webserver/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/sel4webserver/actions/workflows/sel4webserver-deploy.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4webserver/actions/workflows/sel4webserver-deploy.yml/badge.svg?branch=master" alt="Web Server Demo" /></a></span></p>

<h3 id="sel4webserver-manifest"><span class="plain-links"><a href="https://github.com/seL4/sel4webserver-manifest/">sel4webserver-manifest</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/sel4webserver-manifest/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/sel4webserver-manifest/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="util_libs"><span class="plain-links"><a href="https://github.com/seL4/util_libs/">util_libs</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/util_libs/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/util_libs/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/util_libs/actions/workflows/sel4test-sim.yml?query=branch%3Amaster"><img src="https://github.com/seL4/util_libs/actions/workflows/sel4test-sim.yml/badge.svg?branch=master" alt="seL4Test Sim" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/util_libs/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/util_libs/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="verification-manifest"><span class="plain-links"><a href="https://github.com/seL4/verification-manifest/">verification-manifest</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/verification-manifest/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/verification-manifest/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/verification-manifest/actions/workflows/trigger.yml?query=branch%3Amaster"><img src="https://github.com/seL4/verification-manifest/actions/workflows/trigger.yml/badge.svg?branch=master" alt="Trigger" /></a></span></p>

<h3 id="website"><span class="plain-links"><a href="https://github.com/seL4/website/">website</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/website/actions/workflows/push.yml?query=branch%3Amaster"><img src="https://github.com/seL4/website/actions/workflows/push.yml/badge.svg?branch=master" alt="CI" /></a></span></p>

<h3 id="whitepaper"><span class="plain-links"><a href="https://github.com/seL4/whitepaper/">whitepaper</a></span></h3>

<p><span class="plain-links"><a href="https://github.com/seL4/whitepaper/actions/workflows/build.yml?query=branch%3Amaster"><img src="https://github.com/seL4/whitepaper/actions/workflows/build.yml/badge.svg?branch=master" alt="build PDF" /></a></span>
<span class="plain-links"><a href="https://github.com/seL4/whitepaper/actions/workflows/license.yaml?query=branch%3Amaster"><img src="https://github.com/seL4/whitepaper/actions/workflows/license.yaml/badge.svg?branch=master" alt="License" /></a></span></p>

    </div>
  </div>
</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
                Page last updated: Thu Feb 29 10:41:42 2024 +0100 f8b92b6673
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/processes/test-status.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/processes/test-status.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
